Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

Source URL: www0.cs.ucl.ac.uk

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

Modular Verification of Concurrent Thread Management Yu Guo1 , Xinyu Feng1 , Zhong Shao2 , and Peizhi Shi1 1 University of Science and Technology of China

Source URL: flint.cs.yale.edu

• Computing
• Computer programming
• Concurrent computing
• Parallel computing
• Software engineering
• Screws
• Thread
• Scheduling
• ISO metric screw thread
• Context switch
• Monitor
• Thread block

Scalable Software Model Checking Using Design for Verification? Tevfik Bultan and Aysu Betin-Can Department of Computer Science University of California Santa Barbara, CA 93106, USA

Source URL: vstte.ethz.ch

Endgame Tables Software Errors Formal Verification

Source URL: www.gilith.com

Integrating Theories and Techniques for Program Modelling, Design and Verification – Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge Bernard K. Aichernig, He Jifeng, Zh

Source URL: vstte.ethz.ch

haRVey: a theorem prover for software verification Silvio Ranise INRIA-Lorraine DEA, Nancy—December 1, 2004

Source URL: www.loria.fr

The SeaHorn Verification Framework (Invited Talk) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University USA

Source URL: refal.botik.ru

• Software testing
• Formal methods
• Software verification
• Logic in computer science

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security

Software Verification Games: Designing Xylem, The Code of Plants Heather Logas, Jim Whitehead, Michael Mateas, Richard Vallejos, Lauren Scott, Dan Shapiro, John Murray, Kate Compton, Joseph Osborn, Orlando Salvatore, Zho

Source URL: www.fdg2014.org